" Jaco van de Pol" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Formal Methods: Applications and Technology: 11th International Workshop on Formal Methods for Industrial Critical Systems, FMICS 2006, and 5th International ... Programming and Software Engineering)

Lubos Brim, Boudewijn Haverkort, Martin Leucker, Jaco van de Pol

Категория: Техника

3.48 Mb

#2

Integrated Formal Methods: 5th International Conference, IFM 2005, Eindhoven, The Netherlands, November 29 - December 2, 2005. Proceedings

Judi M.T. Romijn, Graeme P. Smith, Jaco C. van de Pol

4.40 Mb